3221. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3222. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3223. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
3224. The Agent Modeling Language--AML
پدیدآورنده: / Radovan Cervenka, Ivan Trencansky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
3225. The Android developer's cookbook
پدیدآورنده: / James Steele, Nelson To
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Android (Electronic resource),Application software--Development,Mobile computing.,Smartphones--Programming,Operating systems (Computers)
رده :
QA
,
76
.
76
,.
A65
,
S743
,
2011
3226. The Android developer's cookbook :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Android (Electronic resource) ; Application software ; Development. ; Mobile computing. ; Smartphones ; Programming. ; Operating systems (Computers) ;
3227. The Android developer's cookbook :building applications with the Android SDK
پدیدآورنده: Steele, James, James Steele, Nelson To
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Android )Electronic resource(,Development ، Application software,، Mobile computing,Programming ، Smartphones,، Operating systems )Computers(
رده :
QA
76
.
76
.
A65
S743
2011
3228. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
3229. The Art of computer programming
پدیدآورنده: / Donald Ervin Knuth
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
3230. The C answer book :
پدیدآورنده: Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
3231. The Computer programmer's dictionary and handbook
پدیدآورنده: Spencer, Donald D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Dictionaries ، Programming )Electronic computers(,Machines - Dictionaries ، Electronic data processing
رده :
QA
76
.
15
.
S65
3232. The Craft of programming
پدیدآورنده: Reynolds, John C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
6
.
R47
3233. The Elements of digital computer programming
پدیدآورنده: Reilly, Edwin D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
5
.
R44
3234. The Handbook of Data Communications and Networks :
پدیدآورنده: by W.J. Buchanan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Operating systems (Computers)
رده :
TK5105
.
B995
2004
3235. The IOTA programming system : a modular programming environment
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Modular programming
رده :
QA
76
.
6
.
I66
1983
3236. The IOTA programming system : a modular programming environment
پدیدآورنده: edited by R. Nakajima and T. Yuasa
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Modular programming
رده :
QA
76
.
L4
v
.
160
3237. The Imperative future :principles of executable temporal logic
پدیدآورنده: edited by Howard Barringer ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
3238. The Language of computer programming in English
پدیدآورنده: Keegel, John C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K44
1976
3239. The Linux programming interface
پدیدآورنده: / Michael Kerrisk
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Linux.,UNIX (Computer file),Operating systems (Computers)
رده :
QA
,
76
.
76
,.
O63
,
K496
,
2010
3240. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
